Prime Matter Pluralism (PMP) states that while the prime matter of all terrestrial bodies is the same, there is a unique prime matter for each celestial body. Prime matters are distinct in virtue of being in potentiality to different forms. Steven Baldner argues that although Thomas Aquinas endorsed PMP in Summa theologiae I, he ultimately rejected it in his De caelo commentary and De substantiis separatis. Besides exegetical evidence for this claim, Baldner presents a philosophical objection to PMP: according to (...) PMP, distinct prime matters are restricted in their respective potentialities; such restriction requires form, however; therefore, prime matter is not pure potentiality. Since prime matter is pure potentiality, PMP is false. Pace Baldner, I argue that Aquinas endorses PMP as heartily in the later works as in STh I. Moreover, he resisted substantially the same objection to PMP as Baldner’s several times. In particular, Aquinas repeatedly rejected the claim that the restriction of prime matter’s potentiality requires form. In that case, when Aquinas calls prime matter “pure potentiality,” he means that it is formless of itself, not that it is in potentiality to any form whatsoever. (shrink)

There is a problem regarding God and perception right at the heart of Berkeley ’s metaphysics. With respect to this problem, I will argue for : It is intractable. Berkeley has no solution to this problem, and neither can we hope to offer one on his behalf. However, I will also argue for : The truth of need not be seen as threatening the viability of Berkeley ’s metaphysics. In fact, it may even be seen as speaking in its favor.

This essay offers a defense of Axiarchism's answer to the question, "Why does the world exit?" against prominent objections leveled against it by Derek Parfit. Parfit rejects the Axiarchist answer while abstracting from it his own Selector strategy. I argue that the abstraction fails, and that even if we were to regard Axiarchism as an instance of a Selector hypothesis, we should regard it as the only viable one. I also argue that Parfit's abstraction leads him to mistake the nature (...) and, thereby, the force of Axiarchism's claim to being an ultimate explanation. Finally, I defend the Axiarchist's claim that the good could not fail to rule. (shrink)

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, any updating (...) rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

This essay consists of two parts. Part I offers an explanation of Berkeley's understanding of the relationship between materialism and evil. Berkeley regards materialism as the chief instrumental cause of evil in the world. It is the belief in matter that encourages us to believe that God is not immediately, intimately present in every aspect of our life. Immaterialism, by contrast, makes God's immediate presence vivid and thereby serves to undermine the motivation to vice. Part II locates Berkeley's view on (...) matter and evil within the Christian Neoplatonic tradition. I compare Plotinus' minimalist approach to matter and his identification of matter with evil to Berkeley's eliminitivism about matter and his corresponding identification of materialism as the chief source of evil. (shrink)

Draft version of essay. ABSTRACT: Benjamin Whichcote developed a distinctive account of human nature centered on our moral psychology. He believed that this view of human nature, which forms the foundation of “Cambridge Platonism,” showed that the demands of reason and faith are not merely compatible but dynamically supportive of one another. I develop an interpretation of this oft-neglected and widely misunderstood account of human nature and defend its viability against a key objection.

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

This study investigates the significant relationship between procrastination and academic burnout among first-year college students. Employing correlational design and standardized tests, the statistical analysis reveals that the r coefficient of 0.33 indicates a low positive correlation between the variables. The p-value of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between procrastination and academic burnout among college students.

Contrary to John Bramhall and critics like him, Thomas Hobbes takes the view that no account of liberty or freedom can serve as the relevant basis on which to distinguish moral from nonmoral agents or explains the basis on which an agent becomes subject to law and liable to punishment. The correct compatibilist strategy rests, on Hobbes’s account, with a proper appreciation and description of the contractualist features that shape and structure the moral community. From this perspective human agents (...) may indeed use their liberty to make themselves moral agents. In doing this, however, they are not employing a distinct kind of liberty but rather using a liberty that they share with animals and other nonmoral agents to perform a distinct kind of act (i.e., consent) whereby they become moral agents subject to law and any punishments that are required to enforce it. ____ -/- Originally published in the Oxford Handbook of Philosophy in Early Modern Europe - eds. D. Clarke & C. Wilson, OUP 2011 -/- Republished in Recasting Hume and Early Modern Philosophy: Selected Essays - OUP 2021: Paul Russell]. (shrink)

Contents: Introduction / Naïve Logicism / Restricted Logicism / Metaphysics (Early, Middle, Late) / Knowledge (Early, Middle, Late) / Language (Early, Middle, Late) / The Infinite.

Contributors: -/- John Beatty (British Columbia); Kelly James Clark (Ibn Haldun, Istanbul); Angela Coventry (Portland State); Thomas Holden (UC Santa Barbara); Willem Lemmens (Antwerp); Robin Le Poidevin (Leeds); Jennifer Marusic (Edinburgh); Kevin Meeker (South Alabama); Amyas Merivale (Oxford); Peter Millican (Oxford); Dan O’Brien (Oxford Brookes); Graham Oppy (Monash); Paul Russell (Lund); Andre C. Willis (Brown).

... The Philosophers’ Quarrel is an enjoyable tour through the salons, great cities and country retreats of the Enlightenment, in the company of some of its brightest stars. Although much of the tale turns on some tedious details of the various intrigues of Hume and Rousseau, together with their friends and collaborators, Zaretsky and Scott manage to provide their account with a number of interesting and valuable insights into the character of the thinkers involved and the social and cultural life (...) of Enlightenment Europe at this time. I particularly recommend this book to contemporary academics, who may be comforted and reassured to see that prickly, neurotic and insecure dispositions are not the invention of contemporary academic life. (shrink)

“Pragmatic encroachers” about knowledge generally advocate two ideas: (1) you can rationally act on what you know; (2) knowledge is harder to achieve when more is at stake. Charity Anderson and John Hawthorne have recently argued that these two ideas may not fit together so well. I extend their argument by working out what “high stakes” would have to mean for the two ideas to line up, using decision theory.

THE SUBJECT MATTER of this essay is Locke's well-known discussion of consent in sections 116-122 of the Second Treatise of Government.' I will not be concerned to discuss the place of consent in Locke's political philosophy 2 My concerns are somewhat narrower than this. I will simply be concerned to show that in important respects several recent discussions of Locke's political philosophy have misrepresented Locke's views on the subject of express and tacit consent. At theheart of these misinterpretations lie misunderstandings (...) about the way in which landownership and the inheritance of land are related to express and tacit consent. I will show that these misinterpretations of Locke's views are, to a certain extent, indicative of internal strains that can bediscovered in Locke's arguments. My discussion will fall into four sections. In the first I will try toclarify Locke's views on the nature of express consent. I will show that Locke's views on this matter, when examined in their historical context, are not as obscure as some critics have suggested. In the second section I will examine Locke's views on the nature of tacit consent. I will be especially concerned to examine the relationship between landownership and express and tacit consent. In the third section I will look at Locke's views on the inheritance of land and how it relates to express and tacit consent. I will show that his views on this matter are not entirely consistent. In one passage Locke suggests that inheritance of land requires only tacit consent whereas, in another passage, he suggests that inheritance of land requires full membership of society and express consent. In the fourth and final section I will summarize the salient features of my interpretation of Locke's views on the subject of express and tacit consent. I will also briefly note interpretations of Locke's views that have been rejected in the course of this essay. . -/- . (shrink)

FREE WILL. The problem of "free will" has generally been interpreted in modern times in terms of the question of whether or not moral freedom and responsibility are compatible with causality and determinism. Philosophers in the empiricist tradition have defended, with remarkable consistency, a compatibilist position on this issue. Moreover, most of the major figures of the empiricist tradition (i.e. Hobbes, Locke, Hume, Mill, Schlick, and Ayer) are understood to have endorsed and contributed to a single, unified strategy on this (...) subject. The position that these philosophers developed reflects, in large measure, the "antimetaphysical" and naturalistic orientation of empiricist philosophy.... -/- . (shrink)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible (...) world, (3) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

This paper offers a critical examination of Fischer and Ravizza's attempt in Responsibility and Control to give a comprehensive account of the kind of control that grounds moral responsibility (RC, 14). The kind of control required for moral responsibility, they argue, is not some form of regulative control that involves alternate possibilities. What is required is guidance control, which is compatible with causal determinism (RC, 34). Guidance control has 'two separate dimensions' that Fischer and Ravizza aim to articulate and defend. (...) The first of these is that the mechanism that actually issues in the relevant conduct must be moderately reasons-responsive. The second is that the mechanism concerned must be the agent's own. The arguments that Fischer and Ravizza provide in defence of this overall position are carefully articu- lated and imaginatively defended. It is impossible not to admire this book. It will receive and deserves to receive a considerable amount of attention and discussion from all those who have an interest in the free will problem. I am confident that this work will prove to be of lasting influence and importance. My own discussion shows that I am not persuaded by the particular arguments that Fischer and Ravizza have given to support the two basic components of guidance control. How- ever, if my own experience is anything to judge by, readers will find this book challenging, stimulating, and highly rewarding. It sets a high standard by which to evaluate and assess other work and theories in the field. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

For well over a century the dominant narrative covering the major thinkers and themes of early modern British philosophy has been that of “British Empiricism”, within which the great triumvirate of Locke-Berkeley-Hume are taken to be the dominant figures. Although it is now common to question this schema as a way of analyzing and understanding the period in question, it continues to command considerable authority and acceptance. (One likely reason for this is that no credible or plausible alternatives structures or (...) schemas of analysis have suggested themselves.) Be this as it may, the analysis of the rival systems of Clarke, Berkeley and Hume makes clear that this narrative, however deeply entrenched it may be, is wholly misleading and both distorts and obscures key themes and figures in the period in question. (shrink)

Hume's Treatise of Human Nature was published in the form of three separate books. The first two, "Of the Understanding" and "Of the Pas- sions," were published in London in January 1739 by John Noon. The third, "Of Morals," was published independently in London by Thomas Longman in November 1740.2 The title and subtitles on all three books are the same: A Treatise of Human Nature: Being An Attempt to introduce the experimental Method of Reasoning into Moral Subjects. On (...) the title page of the first two books Hume employs an epigram from Tacitus: Rara temporumfelicitas, ubi sentire, quae velis; & quae sentias, dicere licet. ["Seldom are men blessed with times in which they may think what they like and say what they think."] On the title page of the third book this epigram is replaced by an epigram taken from the ninth book of Lucan's Pharsalia: Durae semper virtutis amator, Quaere quid est virtus, et posce exemplar honesti. ["Thou that to virtue ever wer't inclined, learn what it is, how certainly defin'd, and leave some perfect Rule to guide Mankind."] Given the context and the prominence of these epigrams, it is a curious fact that they have attracted little or no attention or comment from Hume scholars. -/- In this paper I argue that Hume's use of the epigram from Lucan is directly relevant to his use of the epigram from Tacitus. The epigrams flag very clearly the anti-Christian nature of Hume's intentions in the Treatise and his affiliations with and allegiance to an anti-Christian tradition of thought that stretches from Hobbes and Spinoza in the late seventeenth century to a circle of anti-Newtonian radical freethinkers that appeared in Britain in the first part of the eighteenth century. In more general terms these epigrams are a notable and illuminating example of esoteric communication in this context, and they indicate that the Treatise has an important place in the literature of the radical enlightenment. (shrink)

My principal objective in this essay will be to show that the widely held view that Hume's Treatise' is not significantly or "directly" concerned with problems of religion is seriously mistaken. I shall approach this issue by way of an examination of a major skeptical theme that runs throughout the Treatise; namely, Hume's skepticism regarding the powers of demonstrative reason. In this paper I shall be especially concerned to bring to light the full significance of this skeptical theme by placing (...) Hume's arguments in their appropriate historical context. I shall show that both Hume and his contemporaries recognized that these important skeptical arguments were aimed primarily against the dogmatic Christian rationalism of John Locke and above all Samuel Clarke, and that they were, therefore, well aware that these arguments had considerable theological significance. (shrink)

This article examines the free will problem as it arises within Thomas Hobbes' naturalistic science of morals in early modern Europe. It explains that during this period, the problem of moral and legal responsibility became acute as mechanical philosophy was extended to human psychology and as a result human choices were explained in terms of desires and preferences rather than being represented as acts of an autonomous faculty. It describes how Hobbes changed the face of moral philosophy, through his Leviathan, (...) in ways that still structure and resonate within the contemporary debate. (shrink)

In laying out his theory of public reason, John Rawls is adamant that there be a clear distinction between private and public reason. Rawls says that political society under the theory of political liberalism is not an association. Associations, he says, are private communities, and the domain of private reason. Private reason, furthermore, occurs in the domain of private associations. Public reason, however, occurs beyond the scope of private associations, in an overlapping domain of shared reasons. In fact, Rawls (...) says that public reasons are not bound by association at all. But I think this conceptual move is not necessary. I will argue that public reason, as Rawls describes it, does occur in the context of a public association, which is an association of individual citizens who share certain – specific ends – as shown by the concept of the overlapping consensus, amongst other components of the theory. There are ends of which the public agree, and those are the ends laid out by the principles of the political conception, which are expressed with the association of an overlapping consensus, realm of public reason, and in a minimum of requisite shared values, history, education, and other forms of ideas that are meant to bond citizens by public association, which makes public reason possible under the theory of public reason. (shrink)

From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for philosophy’s self-understanding. -/- (...) (i.) is the first pass at elenchos in which the Socratic interlocutor does not reflect on knowledge being the crux of the problem. (ii.) is the second, rarer, reflective pass in which they are, making the investigation explicitly about knowledge. Its centrality in the Charmides makes that neglected dialogue of superlative importance. This structure is also the gateway through which the discussion/dialectic crosses into the Agathology (discussion of the form of the good) at Republic 505. -/- The problem of elenchos, then, grasped as a whole structure, is that it seems that knowledge can neither satisfactorily be included in nor excluded from its own scope. The development of the ti esti (“what is ---?”) question leads to the introduction of knowledge into its own scope (i. implicitly, as goodness contrasted with blind rule-following ii. explicitly qua knowledge) while the development of the dual peri tinos (“----about what?) question leads to K’s elimination from its own scope. The introductions are motivated to avoid contradiction, but produce regress; the eliminations are motivated to avoid regress, but produce contradiction. In scholarship, and in the history of philosophy, the ti esti question is universally recognized, to the point of being identified with philosophy’s origin and essence; the peri tinos question is neglected textually and never recognized as the equal dual to the ti esti. This, I claim, has blocked the development of a nontrivial logical appreciation of what Plato's Socrates is up to. (One rather disastrous effect of this neglect is taking Aristotle as the beginning of the development of logic, rather than, correctly, for the beginning of logic’s fatal separation from mathematics and dialectic.) -/- Further, because of this monopticism of the ti esti, the function of consistency in the elenchos has not been understood, even with respect to the ti esti. The ti esti is actually in search of completeness, given a norm of consistency; the peri tinos is in search of consistency, given a norm of completeness. Only appreciating the two questions as dual allows space in the structure to clarify these different orientations relative to consistency. (And, dually, to completeness, whose function in the elenchos is generally entirely missed by scholars and relegated to discussions of eros; it's not out of place there, of course, but its significance is secured here.) Recognizing the duality of the ti esti and peri tinos questions is thus the royal road, in the Socratic-Platonic context, to catching sight of what we post-Cantorians can recognize as the metalogical duality of consistency and completeness. (The salutary disruptive effects of this Plato-Cantor proximity have, of course, been traced in complementary ways by Badiou.) -/- Note that the diagram is supposed to provide a relatively accessible orientation, not to stand on its own, and certainly not to be the last word on any subject. An important qualification (telegraphed in the previous paragraph) is that what elenchos shows is not finally circular or paradoxical, though the problem first presents as such (stubbornly, obdurately, as "difficult" Plato's Socrates always says with characteristic understatement). What is depicted here is meant, at a first pass, to be the shape of that first presentation, the form of the problem of elenchos, rather than of its solution. It's not an accident that this problem strongly resembles "Russell's paradox" (not Russell's not a paradox.) Problem is to solution as RP is to the diagonal theorems. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY (...) 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

ABSTRACT. It is common for Bertrand Russell’s admirers to repeat his many quips about other people’s lack of good sense, for example, “most people would die sooner than think – in fact, they do so.”1 But it is less common for them to assert that this view is one of Russell’s fundamental assumptions about human nature and at the core of his serious moral, social, and political thought. This essay aims to show that this expressed scepticism about human (...) reason is indeed a core assumption of Russell’s public philosophy throughout his life. Even if one accepts this, however, one can still ask: “But is it true?” It will be argued that there is much support for Russell’s view of human reason in recent psychological literature. Examples of how this assumption affects Russell’s social and political thought are indicated. 1. The complete and correct quote is “We all have a tendency to think that the world must conform to our prejudices. The opposite view involves some effort of thought, and most people would die sooner than think – in fact, they do so.” (The ABC of Relativity, 1925). (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong se-mantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to per-fectly meaningful questions and assertions or it assigns meanings that di-verge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric state-ments; for the (...) semantics of ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

Easy to understand philosophy papers in all areas. Table of contents: Three Short Philosophy Papers on Human Freedom The Paradox of Religions Institutions Different Perspectives on Religious Belief: O’Reilly v. Dawkins. v. James v. Clifford Schopenhauer on Suicide Schopenhauer’s Fractal Conception of Reality Theodore Roszak’s Views on Bicameral Consciousness Philosophy Exam Questions and Answers Locke, Aristotle and Kant on Virtue Logic Lecture for Erika Kant’s Ethics Van Cleve on Epistemic Circularity Plato’s Theory of Forms Can we trust our senses? Yes (...) we can Descartes on What He Believes Himself to Be The Role of Values in Science Modern Science Kant’s Moral Philosophy Plato’s Republic as Pol Potist Bureaucracy Schopenhauer on Human Suffering Bertrand Russell on the Value of Philosophy The Philosophical Value of Uncertainty Logic Homework: Theorems and Models Searle vs. Turing on the Imitation Game Hume, Frankfurt, and Holbach on Personal Freedom Manifesto of the University of Wisconsin, Madison Secular Society Michael’s Analysis of the Limits of Civil Protections Bentham and Mill on Different Types of Pleasure Set Theory Homework Aristotle on Virtue Nagel On the Hard Problem Wittgenstein on Language and Thought Camus and Schopenhauer on the Meaning of Life Camus’ Hero as Rebel without a Cause My Little Finger: Camus’ Absurdism Illustrated Are Late-term Abortions Ethical? Does Mathematics Assume the Truth of Platonism? The Self-defeating Nature of Utilitarianism and Consequentialism Generally What is The Good Life? Bentham and Mill regarding types of pleasures Kant’s Moral Philosophy Five Short Papers on Mind-body Dualism Tracy Latimer’s Father had the Right to Kill Her: Towards a doctrine of generalized self-defense Arguments Concerning God and Morality Goldman, Rousseau and von Hayek on the Ideal State J.S Mill on Liberty and Personal Freedom A Kantian Analysis of a Borderline Date-rape Situation Living Well as Flourishing: Aristotle’s Conception of the Good Life Three Essays on Medical Ethics: Answers to Exam Questions on Elective Amputation, Vaccination, and Informed Consent Hobbes, Marx, Rousseau, Nietzsche: Their Central Themes De Tocqueville on Egoism Mill vs. Hobbes on Liberty Exam-Essays on the Moral Systems of Mill, Bentham, and Kant Kant’s Moral System Aristotle on Virtue Plato’s Cave Allegory An Ethical Quandary Superorganisms The Tuskegee Experiment A Rawlsian Analysis Why Moore’s Proof of an External World Fails A Defense of Nagel’s Argument Against Materialism A Utilitarian Analysis of a Case of Theft The Paradox of the Self-aware Wretch: An Analysis of Pascal’s Moral Philosophy Jean-Paul Sartre: Decline and Fall of a Marxist Sell-out A One Page Proof of Plato’s Theory of Forms Plato’s Republic as Pol Potist Bureaucracy The problem of the one and the many Four Short Essays on Truth and Knowledge What is ‘the Good Life?’ The Ontological Argument Different Political Philosophies: Plato, Locke, Madison, Rousseau, Hayek, and Mill on the State What do I know with certainty? Skepticism about skepticism Neuroscience and Freewill Operant Conditioning What makes us special? Are Late-term Abortions Ethical? No Two Papers on Epistemology: Gettier and Bostrom Examination Nietzsche on Punishment God’s Foreknowledge and Moral Responsibility . (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact (...) that, for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...) and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that one's knowledge of (...) what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

This is a critical review of In the Agora: The Public Face of Canadian Philosophy. It argues that this book does not adequately represent the public face of Canadian philosophy, though it contains some first-rate contributions.

Revealed that Bertrand Russell's Wisdom of the West was most likely actually written by its "editor", Paul Foulkes, in view of the prominence in the text of the ideas of Foulkes' teacher, John Anderson. That suspicion later turned out to be true.

The main focus of this paper is the mind-body problem in its relation to the doctrine of ‘neutral monism’ and the question who can be considered its proponents. According to Bertrand Russell, these are Ernst Mach, William James, and John Dewey (to name a few). This paper aims to clarify whether Russell himself was right in his conclusions or not. At first, I start with the clarification of the relation between ‘neutral monism’ and ‘dual-aspect theory’. Secondly, I (...) analyze the ‘big three’ of the neutral monism: Mach, James and Russell. My starting-point here is Russell’s very understanding of Mach and James positions. In the end, it appears that neither Mach, nor James as well as Dewey can be considered as neutral monists. It was rather Russell’s misunderstanding of the both James’ radical empiricism and Mach’s analysis of sensations, which led him to the creation of his own original version of ‘neutral monism’ (or ‘Russelian monism’). (shrink)

This paper compares Dewey's and Russell's views of "immediate knowledge." Dewey was perhaps mistaken in attributing to Russell the view that immediate sense data provide incorrigible foundations for knowledge. Russell's characterization of sensing plus attention as the most immediate knowing of which we have experience nevertheless remains a valid target of Dewey's criticisms. These two philosophers developed very different theories of logic and knowledge, language and experience. Given the reconstructed notions of experience and knowledge at the root (...) of Dewey's logical theory, referring to knowledge as immediate or nearly immediate constitutes a serious category mistake. (shrink)

John Wilkins and Malte Ebach respond to the dismissal of classification as something we need not concern ourselves with because it is, as Ernest Rutherford suggested, mere ‘‘stamp collecting.’’ They contend that classification is neither derivative of explanation or of hypothesis-making but is necessarily prior and prerequisite to it. Classification comes first and causal explanations are dependent upon it. As such it is an important (but neglected) area of philosophical study. Wilkins and Ebach reject Norwood Russell Hanson’s thesis (...) that classification relies on observation that is theory-laden and deny the need for aetiological assumptions and historical reconstruction to justify its arrangement. What they offer instead is a significant (albeit controversial) contribution to the philosophical literature on classification, a pre-theoretic natural classification based on the observation of patterns in data of ready-made phenomena. Their notion of ready-made phenomena rests on a conception of tacit knowledge or know-how. This is evident in their distinction between strong Theory-dependence and na ̈ıve theory-dependence. Their small t-theory-dependence permits patterns of observation that facilitate know-how but does not rely on a domain-specific explanatory theory of their aetiology. Wilkins and Ebach suggest classification differs from theory building in that it is passive (whereas theory building is active). Classification is possible just because it does not require the sieve of theory to capture classes that are ‘‘handed to you by your cognitive dispositions and the data that you observe’’ (p. 18). Finding regularities sans-theory is just something we do and can do without any prior theory about the underlying causes or origins of the resultant regularities. Luke Howard’s classification of clouds serves as an exemplar of a passive, theory-free classification system and the periodic table and the DSM help to illustrate this type of non-aetiological patterning. A recurrent theme is the nature of naturalness. For Wilkins and Ebach, the conception of naturalness is not one that is based on the generation or discovery of natural kind categories popular in both the traditional metaphysics of Mill and Wittgenstein as well as updated notions within philosophy of biology such as Boyd’s Homeostatic Property Cluster kinds. Instead, Wilkins and Ebach define the naturalness of classification as the falling into hierarchical patterns, aligning the search for natural arrangement with the aim of systematics, and as something that is grounded in a cognitive task or activity. However, they leave the question of realism v. antirealism open. ‘‘In natural classification...we must have real relations no matter how we might interpret ‘real’’’ (p. 70). There is tension with regard to their ontological commitments as they vacillate between constructive, operationalist, and realist approaches. Wilkins and Ebach initially define real as that which is causal and important (pp. 70–71), and later as that which ‘‘depends in no way upon a mind or observer’’ (p. 122). This makes their claim that there was ‘‘no real theory involved [in the pre-Darwinian classifications of Jussieu and Adanson]’’ (p. 64) difficult to interpret. Cont’d……. (shrink)